Towards a Translation of Computer Algebra Algorithms into Tactics
نویسنده
چکیده
ion ND PROOF CA Tactics Expansion Representation simple CA Algorithm Metatheory correspond translation Framework Figure 2: Translations from tactics to algorithms The author has realized a rst working implementation of the sapper-system connecting -mkrp with a small prototypical CAS capable of handling polynomial manipulations. But in order to build a stronger system it would be necessary both to add more algorithms and to extend the set of tactics available for them. Doing this for every algorithm separately would not only require time but it would also be very tedious work. Therefore it is worth considering the automation of this process.
منابع مشابه
A Survey on the Attitudes of Students Majoring in English Language towards the Teaching Methods in Translation Courses
As a subset of descriptive studies, the current research focused on learners’ perception of the common teaching methods in translation courses. Accordingly, a multi-item Likert-scale questionnaire with 29 items was developed based on the proposed strategies applied in the three traditional, complex and modern methods of teaching for collecting the research data. Cronbach’s alpha was administere...
متن کاملTranslating Hierarchical Block Diagrams into Composite Predicate Transformers
Simulink is the de facto industrial standard for designing embedded control systems. When dealing with the formal verification of Simulink models, we face the problem of translating the graphical language of Simulink, namely, hierarchical block diagrams (HBDs), into a formalism suitable for verification. In this paper, we study the translation of HBDs into the compositional refinement calculus ...
متن کاملA Framework for Computer-Aided Design of Educational Domain Models
Many educational applications, from tutoring to problem generation, are built on a formal model of the operational knowledge for a given domain. These domain models consist of rewrite rules that experts apply to solve problems in the domain; e.g., factoring, ax+bx→ (a+b)x, is one such rule for K-12 algebra. Domain models currently take hundreds of hours to create, and they differ widely in how ...
متن کاملPerceptions of Iranian EFL Learners towards Learning Language through Computers: An Investigation on the TOEFL (Paper and Computer Based) Test
Computer technology has influenced the realm of language teaching and testing so drastically that no language teaching program could be imagined nowadays without the use digitized software and mul- timedia. This study aims at investigating Iranian EFL learners' performance on paper-based test com- pared with their performance on computer-based test while considering their attitudes towards the ...
متن کاملComplete Closest-Target Based Directional FDH Measures of Efficiency in DEA
In this paper, we aim to overcome three major shortcomings of the FDH (Free Disposal Hull) directional distance function through developing two new, named Linear and Fractional CDFDH, complete FDH measures of efficiency. To accomplish this, we integrate the concepts of similarity and FDH directional distance function. We prove that the proposed measures are translation invariant and unit invari...
متن کامل